ll(1) parsing procedure